/*
 * \brief  Input event queue
 * \author Norman Feske
 * \date   2007-10-08
 */

/*
 * Copyright (C) 2007-2009 Norman Feske
 * Genode Labs, Feske & Helmuth Systementwicklung GbR
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

#ifndef _EVENT_QUEUE_H_
#define _EVENT_QUEUE_H_

#include <input/event.h>
#include <os/ring_buffer.h>

/**
 * Input event queue
 *
 * We expect the client to fetch events circa each 10ms. The PS/2 driver queues
 * up to 255 events, which should be enough. Normally, PS/2 generates not more
 * than 16Kbit/s, which would correspond to ca. 66 mouse events per 10ms.
 */
class Event_queue : public Ring_buffer<Input::Event, 256> { };

#endif /* _EVENT_QUEUE_H_ */
